Autobahn: using genetic algorithms to infer strictness annotations
نویسندگان
چکیده
منابع مشابه
Using Multiobjective Genetic Programming to Infer Logistic Polynomial Regression Models
In designing non-linear classifiers, there are important trade-offs to be made between predictive accuracy and model comprehensibility or complexity. We introduce the use of Genetic Programming to generate logistic polynomial models, a relatively comprehensible non-linear parametric model; describe an efficient twostage algorithm consisting of GP structure design and Quasi-Newton coefficient se...
متن کاملUsing Genetic Distance to Infer the Accuracy of Genomic Prediction
The prediction of phenotypic traits using high-density genomic data has many applications such as the selection of plants and animals of commercial interest; and it is expected to play an increasing role in medical diagnostics. Statistical models used for this task are usually tested using cross-validation, which implicitly assumes that new individuals (whose phenotypes we would like to predict...
متن کاملEconomic Design of T2 −V SSC Chart Using Genetic Algorithms
The principal function of a control chart is to help management distinguish different sources of variation in a process. Control charts are widely used as a graphical tool to monitor a process in order to improve the quality of the product. Chen and Hsieh (2007) have designed a T2 control chart using a Variable Sampling Size and Control limits (V SSC) scheme. They have shown that using the V SSC...
متن کاملA Hybrid Algorithm using Firefly, Genetic, and Local Search Algorithms
In this paper, a hybrid multi-objective algorithm consisting of features of genetic and firefly algorithms is presented. The algorithm starts with a set of fireflies (particles) that are randomly distributed in the solution space; these particles converge to the optimal solution of the problem during the evolutionary stages. Then, a local search plan is presented and implemented for searching s...
متن کاملSolving a Stochastic Cellular Manufacturing Model by Using Genetic Algorithms
This paper presents a mathematical model for designing cellular manufacturing systems (CMSs) solved by genetic algorithms. This model assumes a dynamic production, a stochastic demand, routing flexibility, and machine flexibility. CMS is an application of group technology (GT) for clustering parts and machines by means of their operational and / or apparent form similarity in different aspects ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2018
ISSN: 0362-1340,1558-1160
DOI: 10.1145/3241625.2976009